Thomas Henzinger

Results: 26



#Item
11Quantitative Relaxation of Concurrent Data Structures Thomas A. Henzinger˚ Christoph M. Kirsch` Hannes Payer`

Quantitative Relaxation of Concurrent Data Structures Thomas A. Henzinger˚ Christoph M. Kirsch` Hannes Payer`

Add to Reading List

Source URL: www.cs.uni-salzburg.at

Language: English
12Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California

Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2014-03-05 17:31:43
    13Edit Distance for Pushdown Automata∗ Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, and Jan Otop IST Austria August 11, 2015 Abstract

    Edit Distance for Pushdown Automata∗ Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, and Jan Otop IST Austria August 11, 2015 Abstract

    Add to Reading List

    Source URL: www.cs.au.dk

    Language: English - Date: 2015-08-11 05:53:51
      14Quantitative Abstraction Refinement ∗ ˇ y Pavol Cern´ Thomas A. Henzinger

      Quantitative Abstraction Refinement ∗ ˇ y Pavol Cern´ Thomas A. Henzinger

      Add to Reading List

      Source URL: ecee.colorado.edu

      Language: English - Date: 2013-01-11 01:47:56
        15Generating Tests from Counterexamples Rupak Majumdar Dirk Beyer Adam J. Chlipala Thomas A. Henzinger Ranjit Jhala Electrical Engineering and Computer Sciences

        Generating Tests from Counterexamples Rupak Majumdar Dirk Beyer Adam J. Chlipala Thomas A. Henzinger Ranjit Jhala Electrical Engineering and Computer Sciences

        Add to Reading List

        Source URL: www.sosy-lab.org

        Language: English - Date: 2013-10-11 07:00:05
          16Generalizing the Correctness of Transactional Memory Rachid Guerraoui Thomas A. Henzinger Michał Kapałka

          Generalizing the Correctness of Transactional Memory Rachid Guerraoui Thomas A. Henzinger Michał Kapałka

          Add to Reading List

          Source URL: kapalka.eu

          Language: English - Date: 2010-10-13 15:43:20
            17Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014

            Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014

            Add to Reading List

            Source URL: eacsl.kahle.ch

            Language: English - Date: 2014-07-23 09:38:07
            18Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar

            Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar

            Add to Reading List

            Source URL: www.kenmcmil.com

            Language: English - Date: 2006-06-02 17:23:14
            19The Ackermann Award 2013 Anuj Dawar, Thomas A. Henzinger, and Damian Niwiński Members of EACSL Jury of the Ackermann Award The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the p

            The Ackermann Award 2013 Anuj Dawar, Thomas A. Henzinger, and Damian Niwiński Members of EACSL Jury of the Ackermann Award The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the p

            Add to Reading List

            Source URL: drops.dagstuhl.de

            Language: English - Date: 2013-08-27 05:13:12